A Missing C-Spine Link: Mind the Gap

Evolution of gap junctions: the missing link?

Connexin molecules form gap-junction channels in vertebrates and there are at least 20 of them in humans [1]. Intuitively, one would imagine that cardinal features of the cellular machinery, such as gap-junctions, would be highly conserved. Paradoxically, however, Drosophila and Caenorhabditis elegans do not have connexin genes, but instead use innexins for gap-junctional communication, a prote...

From OOA to C++: The Missing Link

In 1912, one Charles Dawson discovered a skull fragment that was accepted as evidence of the long-sought missing link between apes and humans. In 1953, Piltdown Man as the fossil was known, was shown to be a forgery, a combination of a 600-year-old human skull and a modern orangutan. Sadly, this tale is redolent of today's methods for making the transition from object-oriented analysis to code:...

Mind the Gap: A Verification Framework for Low-Level C

This paper presents the formal Isabelle/HOL framework we use to prove refinement between an executable, monadic specification and the C implementation of the seL4 microkernel. We describe the refinement framework itself, the automated tactics it supports, and the connection to our previous C verification framework. We also report on our experience in applying the framework to seL4. The characte...

“Mind the Gap” in Reporting the Outdated Statistics

Mind the (Intelligibility) Gap

Intelligibility, evolution and emulation are some of the key notions for digital information preservation. In this paper we define formally these notions on the basis of modules and inter-module dependencies. Subsequently, we discuss how we can handle the evolution of modules and dependencies. This work can be exploited for building advanced preservation information systems and registries.